Characterization of Software Quality Assurance Methods: Five Methods for Verification of Learning Systems
نویسندگان
چکیده
While learning systems offer great promise in reducing cost and improving quality of control applications [12, 11], they also raise thorny issues in terms of the mismatch between the quality standards that these systems must achieve [10] and the available technology. There is widespread agreement [7, 8, 9, 12, 11] that current verification technology does not apply to online learning systems, whose function evolves over time, and cannot be inferred from static analysis. Yet, we claim that one can still use insights from traditional verification technology to better develop verification techniques for online learning systems. In this short paper, we wish to explore this possibility by:
منابع مشابه
Characterizing Software Quality Assurance Methods: Impact on the Verification of Learning Systems
While learning systems offer great promise in reducing cost and improving quality of control applications [12, 11], they also raise thorny issues in terms of the mismatch between the quality standards that these systems must achieve [10] and the available technology. There is widespread agreement [7, 8, 9, 12, 11] that current verification technology does not apply to online learning (i.e., ada...
متن کاملDevelopment of Advanced Verification and Validation Procedures and Tools for the Certification of Learning Systems in Aerospace Applications
Adaptive control technologies that incorporate learning algorithms have been proposed to enable automatic flight control and vehicle recovery, autonomous flight, and to maintain vehicle performance in the face of unknown, changing, or poorly defined operating environments. In order for adaptive control systems to be used in safety-critical aerospace applications, they must be proven to be highl...
متن کاملdimensional film dosimetry with GAFCHROMIC films for quality assurance and dosimetric verification of 3D conformal radiotherapy in the presence of heterogeneities
Introduction: The presence of heterogeneities such as air-filled cavities in the head and neck treatment fields region, may result in potential dosimetric disagreement because the losses of charged particle equilibrium. Most of treatments planning systems are not able to predict dose distribution of inhomogeneities region accurately. Therefore, dose calculation algorithms need to...
متن کاملReachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کاملMacro and Micro Perspectives on Strategic Software Quality Assurance in Resource Constrained Environments
Software quality assurance (SQA) plays a key role in software development process. Software quality assurance methods include testing, inspection, formal method (program verification, model checking, etc.), static code analysis, and runtime verification, etc. A disciplined approach to meeting benefit, cost, schedule, and quality constraints is in need. In this paper, we propose two perspectives...
متن کامل